Cosmo, Roberto: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) - London, ON, Canada (2020.2.18-2020.2.21)] 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Dependency Solving Is Still Hard, but We Are Getting Better at It

Abate, Pietro, Di Cosmo, Roberto, Gousios, Georgios, Zacchiroli, Stefano

Year:

2020

File:

PDF, 260 KB

2020

2

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

Mancinelli, Fabio, Boender, Jaap, Cosmo, Roberto, Vouillon, Jerome, Durak, Berke, Leroy, Xavier, Treinen, Ralf

Year:

2006

Language:

english

File:

PDF, 311 KB

english, 2006

3

Software provenance tracking at the scale of public source code

Rousseau, Guillaume, Di Cosmo, Roberto, Zacchiroli, Stefano

Journal:

Empirical Software Engineering

Year:

2020

File:

PDF, 2.25 MB

2020

4

Scaling up functional programming education: under the hood of the OCaml MOOC

Canou, Benjamin, Di Cosmo, Roberto, Henry, Grégoire

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 614 KB

english, 2017

5

Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria

Alliez, Pierre, Di Cosmo, Roberto, Guedj, Benjamin, Girault, Alain, Hacid, Mohand-Said, Legrand, Arnaud, Rougier, Nicolas

Journal:

Computing in Science & Engineering

Year:

2019

Language:

english

File:

PDF, 1.50 MB

english, 2019

6

Apparent Treatment Resistant Hypertension, Blood Pressure Control and the Progression of Chronic Kidney Disease in Patients with Type 2 Diabetes

Viazzi, Francesca, Greco, Eulalia, Ceriello, Antonio, Fioretto, Paola, Giorda, Carlo, Guida, Pietro, Russo, Giuseppina, De Cosmo, Salvatore, Pontremoli, Roberto

Journal:

Kidney & Blood Pressure Research

Year:

2018

Language:

english

File:

PDF, 1.27 MB

english, 2018

7

[IEEE 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM) - Lake Buena Vista, FL, USA (2009.10.15-2009.10.16)] 2009 3rd International Symposium on Empirical Software Engineering and Measurement - Strong dependencies between software components

Abate, Pietro, Di Cosmo, Roberto, Boender, Jaap, Zacchiroli, Stefano

Year:

2009

Language:

english

File:

PDF, 1.01 MB

english, 2009

8

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Broken sets in software repository evolution

Vouillon, Jerome, Di Cosmo, Roberto

Year:

2013

Language:

english

File:

PDF, 812 KB

english, 2013

9

Educating the e-citizen

Di Cosmo, Roberto

Journal:

ACM SIGCSE Bulletin

Year:

2006

Language:

english

File:

PDF, 134 KB

english, 2006

10

Epidemiology of diabetic kidney disease in adult patients with type 1 diabetes in Italy: The AMD-Annals initiative

Pacilli, Antonio, Viazzi, Francesca, Fioretto, Paola, Giorda, Carlo, Ceriello, Antonio, Genovese, Stefano, Russo, Giuseppina, Guida, Pietro, Pontremoli, Roberto, De Cosmo, Salvatore

Journal:

Year:

2017

Language:

english

File:

PDF, 578 KB

english, 2017

11

[IEEE 2018 IEEE International Workshop on Metrology for the Sea; Learning to Measure Sea Health Parameters (MetroSea) - Bari, Italy (2018.10.8-2018.10.10)] 2018 IEEE International Workshop on Metrology for the Sea; Learning to Measure Sea Health Parameters (MetroSea) - A multiparametric method for the classification of the seabed from acoustic backscattered signal

Demarte, Maurizio, Nardini, Roberto, Marro, Mauro, Peluso, Cosmo, Ivaldi, Roberta

Year:

2018

File:

PDF, 7 KB

2018

12

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Balat, Vincent, Di Cosmo, Roberto, Fiore, Marcelo

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

13

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Balat, Vincent, Di Cosmo, Roberto, Fiore, Marcelo

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

14

Does high-dose benzodiazepine abuse really produce liver toxicity? Results from a series of 201 benzodiazepine monoabusers

Lugoboni, Fabio, Mirijello, Antonio, Morbioli, Laura, Arzenton, Elena, Leone, Roberto, Faccini, Marco, Casari, Rebecca, De Cosmo, Salvatore, Gasbarrini, Antonio, Addolorato, Giovanni

Journal:

Expert Opinion on Drug Safety

Year:

2018

Language:

english

File:

PDF, 1.28 MB

english, 2018

15

Real-life indications to ivabradine treatment for heart rate optimization in patients with chronic systolic heart failure

Tondi, Lara, Fragasso, Gabriele, Spoladore, Roberto, Pinto, Giuseppe, Gemma, Marco, Slavich, Massimo, Godino, Cosmo, Salerno, Anna, Montanaro, Claudia, Margonato, Alberto

Journal:

Journal of Cardiovascular Medicine

Year:

2018

Language:

english

File:

PDF, 218 KB

english, 2018

16

Normoalbuminuric kidney impairment in patients with T1DM: insights from annals initiative

Lamacchia, Olga, Viazzi, Francesca, Fioretto, Paola, Mirijello, Antonio, Giorda, Carlo, Ceriello, Antonio, Russo, Giuseppina, Guida, Pietro, Pontremoli, Roberto, De Cosmo, Salvatore

Journal:

Diabetology and Metabolic Syndrome

Year:

2018

Language:

english

File:

PDF, 767 KB

english, 2018

17

Fresh-frozen human bone allograft in vertical ridge augmentation: clinical and tomographic evaluation of bone formation and resorption

Macedo, Luis Guilherme Scavone, Mazzucchelli-Cosmo, Luiz Antonio, Macedo, Nelson Luiz, Monteiro, Adriana Socorro Ferreira, Sendyk, Wilson Roberto

Journal:

Cell and Tissue Banking

Year:

2012

Language:

english

File:

PDF, 700 KB

english, 2012

18

Provable isomorphisms of types

Bruce, Kim B., Di Cosmo, Roberto, Longo, Giuseppe

Journal:

Mathematical Structures in Computer Science

Year:

1992

Language:

english

File:

PDF, 3.02 MB

english, 1992

19

[IFIP Advances in Information and Communication Technology] Open Source Systems: Towards Robust Practices Volume 496 ||

Balaguer, Federico, Di Cosmo, Roberto, Garrido, Alejandra, Kon, Fabio, Robles, Gregorio, Zacchiroli, Stefano

Year:

2017

Language:

english

File:

PDF, 9.95 MB

english, 2017

20

Predictors of chronic kidney disease in type 2 diabetes

De Cosmo, Salvatore, Viazzi, Francesca, Pacilli, Antonio, Giorda, Carlo, Ceriello, Antonio, Gentile, Sandro, Russo, Giuseppina, Rossi, Maria C., Nicolucci, Antonio, Guida, Pietro, Pontremoli, Roberto

Journal:

Medicine (Medicine Publishing Company Ltd)

Year:

2016

Language:

english

File:

PDF, 308 KB

english, 2016

21

A calculus for parallel computations over multidimensional dense arrays

Roberto Di Cosmo, Zheng Li, Susanna Pelagatti

Journal:

Computer Languages, Systems & Structures

Year:

2007

Language:

english

File:

PDF, 704 KB

english, 2007

22

Aeolus: A component model for the cloud

Di Cosmo, Roberto, Mauro, Jacopo, Zacchiroli, Stefano, Zavattaro, Gianluigi

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 1009 KB

english, 2014

23

On isomorphisms of intersection types

Dezani-Ciancaglini, Mariangiola, Cosmo, Roberto Di, Giovannetti, Elio, Tatsuta, Makoto

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 229 KB

english, 2010

24

Relationship between Syntax Score and prognostic localization of coronary artery lesions with conventional risk factors, plasma profile markers, and carotid atherosclerosis (CAPP Study 2)

Cappelletti, Alberto, Astore, Domenico, Godino, Cosmo, Bellini, Barbara, Magni, Valeria, Mazzavillani, Monica, Pagnesi, Matteo, Agricola, Eustachio, Chiesa, Roberto, Colombo, Antonio, Margonato, Alber

Journal:

International Journal of Cardiology

Year:

2018

Language:

english

File:

PDF, 331 KB

english, 2018

25

Erratum to: The nutritional risk in oncology: a study of 1,453 cancer outpatients

Federico Bozzetti, Luigi Mariani, Salvatore Lo Vullo, Maria Luisa Amerio, Roberto Biffi, Riccardo Caccialanza, Giorgio Capuano, Isabel Correja, Luca Cozzaglio, Angelo Di Leo, Leonardo Di Cosmo, Concet

Journal:

Supportive Care in Cancer

Year:

2012

File:

PDF, 57 KB

2012

26

[ACM Press the 1st International Workshop - Nashville, Tennessee (2008.10.20-2008.10.20)] Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades - HotSWUp '08 - Package upgrades in FOSS distributions

Di Cosmo, Roberto, Zacchiroli, Stefano, Trezentos, Paulo

Year:

2008

Language:

english

File:

PDF, 163 KB

english, 2008

27

Early Renal Abnormalities as an Indicator of Cardiovascular Risk in Type 2 Diabetes

Viazzi, Francesca, Bonino, Barbara, Ratto, Elena, De Cosmo, Salvatore, Pontremoli, Roberto

Journal:

High Blood Pressure & Cardiovascular Prevention

Year:

2014

Language:

english

File:

PDF, 257 KB

english, 2014

28

A modular package manager architecture

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 747 KB

english, 2013

29

Dependency solving: A separate concern in component evolution management

Abate, Pietro, Di Cosmo, Roberto, Treinen, Ralf, Zacchiroli, Stefano

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 1.00 MB

english, 2012

30

[IEEE 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (MSR) - Florence, Italy (2015.5.16-2015.5.17)] 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories - A Historical Analysis of Debian Package Incompatibilities

Claes, Maelick, Mens, Tom, Di Cosmo, Roberto, Vouillon, Jerome

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

31

Plasma Triglycerides and HDL-C Levels Predict the Development of Diabetic Kidney Disease in Subjects With Type 2 Diabetes: The AMD Annals Initiative

Russo, Giuseppina T., De Cosmo, Salvatore, Viazzi, Francesca, Pacilli, Antonio, Ceriello, Antonio, Genovese, Stefano, Guida, Pietro, Giorda, Carlo, Cucinotta, Domenico, Pontremoli, Roberto, Fioretto,

Journal:

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

32

Non-alcoholic fatty liver disease: the role of nuclear receptors and circadian rhythmicity

Mazzoccoli, Gianluigi, Vinciguerra, Manlio, Oben, Jude, Tarquini, Roberto, De Cosmo, Salvatore

Journal:

Liver International

Year:

2014

Language:

english

File:

PDF, 394 KB

english, 2014

33

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - On software component co-installability

Di Cosmo, Roberto, Vouillon, Jérôme

Year:

2011

Language:

english

File:

PDF, 804 KB

english, 2011

34

Association of kidney disease measures with risk of renal function worsening in patients with hypertension and type 2 diabetes

Viazzi, Francesca, Piscitelli, Pamela, Giorda, Carlo, Ceriello, Antonio, Genovese, Stefano, Russo, Giuseppina T., Fioretto, Paola, Guida, Pietro, De Cosmo, Salvatore, Pontremoli, Roberto

Journal:

Journal of Diabetes and its Complications

Year:

2016

Language:

english

File:

PDF, 666 KB

english, 2016

35

Uma avaliação experimental do tubo de ondas sonoras estacionárias

Pizetta, Daniel Cosmo, Wanderley, Adilson Barros, Mastelaro, Valmor Roberto, Paiva, Fernando Fernandes

Journal:

Revista Brasileira de Ensino de Física

Year:

2017

File:

PDF, 18.80 MB

2017

36

Blood pressure reduction and RAAS inhibition in diabetic kidney disease: therapeutic potentials and limitations

Leoncini, Giovanna, Viazzi, Francesca, De Cosmo, Salvatore, Russo, Giuseppina, Fioretto, Paola, Pontremoli, Roberto

Journal:

Journal of Nephrology

Year:

2020

File:

PDF, 910 KB

2020

37

Review of Isomorphisms of Types:

Di Cosmo, Roberto

Journal:

ACM SIGACT News

Year:

1997

Language:

english

File:

PDF, 248 KB

english, 1997

38

Vitamin D3 improves the effects of low dose Der p 2 allergoid treatment in Der p 2 sensitized BALB/c mice

Petrarca, Claudia, Clemente, Emanuela, Amato, Valentina, Gatta, Alessia, Cortese, Sara, Lamolinara, Alessia, Rossi, Cosmo, Zanotta, Stefania, Mistrello, Gianni, Paganelli, Roberto, Di Gioacchino, Mari

Journal:

Clinical and Molecular Allergy

Year:

2016

Language:

english

File:

PDF, 1.13 MB

english, 2016

39

Association of kidney disease measures with risk of renal function worsening in patients with type 1 diabetes

Mirijello, Antonio, Viazzi, Francesca, Fioretto, Paola, Giorda, Carlo, Ceriello, Antonio, Russo, Giuspina T., Guida, Pietro, Pontremoli, Roberto, De Cosmo, Salvatore

Journal:

Year:

2018

Language:

english

File:

PDF, 1.47 MB

english, 2018

40

Combining algebraic rewriting, extensional lambda calculi, and fixpoints

Roberto Di Cosmo, Delia Kesner

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.35 MB

english, 1996

41

On software component co-installability

Vouillon, Jérôme, Cosmo, Roberto Di

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 1.36 MB

english, 2013

42

[IFIP Advances in Information and Communication Technology] Open Source Systems: Towards Robust Practices Volume 496 || Addressing Lock-in, Interoperability, and Long-Term Maintenance Challenges Through Open Source: How Can Companies Strategically Use Open Source?

Balaguer, Federico, Di Cosmo, Roberto, Garrido, Alejandra, Kon, Fabio, Robles, Gregorio, Zacchiroli, Stefano

Year:

2017

Language:

english

File:

PDF, 696 KB

english, 2017

43

Blood pressure status and the incidence of diabetic kidney disease in patients with hypertension and type 2 diabetes

De Cosmo, Salvatore, Viazzi, Francesca, Piscitelli, Pamela, Giorda, Carlo, Ceriello, Antonio, Genovese, Stefano, Russo, Giuseppina, Guida, Pietro, Fioretto, Paola, Pontremoli, Roberto

Journal:

Journal of Hypertension

Year:

2016

Language:

english

File:

PDF, 396 KB

english, 2016

44

Metabolic syndrome, serum uric acid and renal risk in patients with T2D

Viazzi, Francesca, Piscitelli, Pamela, Giorda, Carlo, Ceriello, Antonio, Genovese, Stefano, Russo, Giuseppina, Guida, Pietro, Fioretto, Paola, De Cosmo, Salvatore, Pontremoli, Roberto, Shimosawa, Tats

Journal:

Year:

2017

Language:

english

File:

PDF, 891 KB

english, 2017

45

Five-Year Predictors of Insulin Initiation in People with Type 2 Diabetes under Real-Life Conditions

Gentile, Sandro, Strollo, Felice, Viazzi, Francesca, Russo, Giuseppina, Piscitelli, Pamela, Ceriello, Antonio, Giorda, Carlo, Guida, Piero, Fioretto, Paola, Pontremoli, Roberto, De Cosmo, Salvatore, t

Journal:

Journal of Diabetes Research

Year:

2018

Language:

english

File:

PDF, 1.52 MB

english, 2018

46

The nutritional risk in oncology: a study of 1,453 cancer outpatients

Federico Bozzetti, Luigi Mariani, Salvatore Lo Vullo, Maria Luisa Amerio, Roberto Biffi, Riccardo Caccialanza, Giovanni Capuano, Isabel Correja, Luca Cozzaglio, Angelo Di Leo, Leonardo Di Cosmo, Conce

Journal:

Supportive Care in Cancer

Year:

2012

Language:

english

File:

PDF, 185 KB

english, 2012

47

[IEEE 2008 IEEE Radar Conference (RADAR) - Rome, Italy (2008.05.26-2008.05.30)] 2008 IEEE Radar Conference - Preliminary performance analysis and design for a distributed P-band synthetic aperture radar

Alberti, Giovanni, Fasano, Giancarmine, D'Errico, Marco, Cesare, Stefano, Sechi, Gianfranco, Cosmo, Mario, Formaro, Roberto, Rioli, Quirino

Year:

2008

Language:

english

File:

PDF, 309 KB

english, 2008

48

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - Automated synthesis and deployment of cloud applications

Di Cosmo, Roberto, Lienhardt, Michael, Treinen, Ralf, Zacchiroli, Stefano, Zwolakowski, Jakub, Eiche, Antoine, Agahi, Alexis

Year:

2014

Language:

english

File:

PDF, 1.05 MB

english, 2014

49

[IEEE 2019 PhotonIcs & Electromagnetics Research Symposium - Spring (PIERS-Spring) - Rome, Italy (2019.6.17-2019.6.20)] 2019 PhotonIcs & Electromagnetics Research Symposium - Spring (PIERS-Spring) - Spurious-free Ultra-wideband Downconveter in 3U Size for EW System

Gabrielli, Giuliano, Gualano, Roberto Antonio, Aureliano Imparato, Elvio Barbato, Mitrano, Cosmo, Pietrobono, Marco, Cirella, Vittorio

Year:

2019

File:

PDF, 4.61 MB

2019

50

[ACM Press the 3rd India software engineering conference - Mysore, India (2010.02.25-2010.02.27)] Proceedings of the 3rd India software engineering conference on India software engineering conference - ISEC '10 - Using strong conflicts to detect quality issues in component-based complex systems

Di Cosmo, Roberto, Boender, Jaap

Year:

2010

Language:

english

File:

PDF, 555 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски